281. Tits buildings and the model theory of groups
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Buildings (Group theory) ; Group theory. ;
282. Tits buildings and the model theory of groups
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Buildings )Group theory(,، Group theory
رده :
QA
174
.
2
.
T5
2002
283. Topological model theory
پدیدآورنده : Flum, Jorg
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Topological spaces,، Model theory
رده :
QA
611
.
3
.
F55
1980
284. Topological model theory
پدیدآورنده : Flum, Jorg
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Topological spaces,، Model theory
رده :
QA
3
.
L28
no
.
769
285. Topological model theory
پدیدآورنده : Flum, Jorg
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Topological spaces,، Model theory
رده :
QA
3
.
L28
no
.
769
286. Topological model theory
پدیدآورنده : Flum, Jorg
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Topological spaces,، Model theory
رده :
QA
3
.
L28
Vol
.
769
287. Using Model Theory in Phonology:
پدیدآورنده : Strother-Garcia, Kristina
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Linguistics,Mathematics
288. Using Model Theory in Phonology: A Novel Characterization of Syllable Structure and Syllabification
پدیدآورنده : Strother-Garcia, Kristina
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Linguistics,Mathematics
289. Using R for item response theory model applications
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Item response theory. ; R (Computer program language) ; Item response theory. ; fast ; R (Computer program language) ; fast ;
290. Using R for item response theory model applications /
پدیدآورنده : Insu Paek and Ki Cole.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Item response theory.,R (Computer program language),Item response theory.,PSYCHOLOGY / Research & Methodology,PSYCHOLOGY / Statistics,R (Computer program language),SOCIAL SCIENCE / Research
رده :
BF39
.
2
.
I84
P43
2020
291. What logics mean : from proof theory to model-theoretic semantics
پدیدآورنده : Garson, James W., 3491-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic,، Semantics,، Logic, Symbolic and mathematical
رده :
BC
71
.
G37W45
292. classical logics, model theory, and computability-Non
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Nonclassical mathematical logic ; Congresses. ; Model theory ; Congresses. ; Computable functions ; Congresses. ;
293. text analysis in translation theory,methodology,and didactic application of a model for translation-oriented text analysis
پدیدآورنده : Christine Nord
کتابخانه: Central Library and Documentation Center of Shahid Motahari of Vali-e-Asr University (Kerman)
موضوع :
رده :
P
306
.
2
.
N67
2005
294. theoretic approach to proof theory /-A model
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Proof theory. ;
